<?php
class tipodocumento
{
  public $cod_tipodocumento;
  public $nom_tipodocumento;
  public $numdocumento;
  public $operador;
  public $ocod_tipodocumento;
  public $permitido;
  public $cod_tipoasiento;
    
}
?>